home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.xml.DTDParser;
- import java.util.Enumeration;
- import javax.swing.text.AbstractDocument;
- import javax.swing.text.AttributeSet;
- import javax.swing.text.BadLocationException;
- import javax.swing.text.DefaultStyledDocument;
-
- public class OptionsQlicker$OptionsDocument extends DefaultStyledDocument {
- // $FF: synthetic field
- final OptionsQlicker this$0;
-
- public OptionsQlicker$OptionsDocument(OptionsQlicker var1) {
- this.this$0 = var1;
- }
-
- public void insertString(int var1, String var2, AttributeSet var3) throws BadLocationException {
- if (var2.length() != 1) {
- super.insertString(var1, var2, var3);
- } else {
- char var4 = var2.charAt(0);
- super.insertString(var1, var2, var3);
- if (DTDParser.isNameChar(var4) && (var1 + 1 >= ((AbstractDocument)this).getLength() || !DTDParser.isNameChar(((AbstractDocument)this).getText(var1 + 1, 1).charAt(0)))) {
- int var5;
- for(var5 = var1; var5 >= 0 && DTDParser.isNameChar(((AbstractDocument)this).getText(var5, 1).charAt(0)); --var5) {
- }
-
- String var6 = ((AbstractDocument)this).getText(var5 + 1, var1 - var5);
- Enumeration var7 = (Enumeration)this.this$0.getDataSource().getQlickerData("OPTIONS", Class.forName("java.util.Enumeration"));
-
- while(var7.hasMoreElements()) {
- String var8 = (String)var7.nextElement();
- String var9 = var8.substring(0, Math.min(var6.length(), var8.length()));
- if (var6.equals(var9)) {
- String var10 = var8.substring(var6.length());
- super.insertString(var1 + 1, var10, var3);
- this.this$0.select(var1 + 1, var1 + 1 + var10.length());
- return;
- }
- }
- }
-
- }
- }
- }
-